projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 773ded4) | patch
Add a defensive batched tlb flush to free_page_type(), to
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 2 Dec 2005 17:56:24 +0000 (18:56 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 2 Dec 2005 17:56:24 +0000 (18:56 +0100)
commit5e4eea77eec11301284ce4810885ba74a3bd2b17
tree06ba504ad2c434eccb226bd48b36807838339f85tree | snapshot
parent773ded42218d434302b31aa4501649534c62e6d0commit | diff
Add a defensive batched tlb flush to free_page_type(), to
ensure the linear_pg_table remains in sync with modified
page table structure. Otherwise we can update stale entries
and screw reference counts (but probably only when running
a malicious domain).

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.